0.07/0.12	% Problem    : SLH0581^1 : TPTP v8.2.0. Released v8.2.0.
0.07/0.12	% Command    : python3 /export/starexec/sandbox2/solver/bin/portfolio.sh.sequential.py %s %d /export/starexec/sandbox2/tmp/tmp.JwfOrBUWSP true
0.12/0.33	Computer   : n008.cluster.edu
0.12/0.33	Model      : x86_64 x86_64
0.12/0.33	CPUModel   : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
0.12/0.33	RAMPerCPU  : 8042.1875MB
0.12/0.33	OS         : Linux 3.10.0-693.el7.x86_64
0.12/0.33	% CPULimit   : 30
0.12/0.33	% WCLimit    : 30
0.12/0.33	% DateTime   : Mon Jul  3 05:25:04 EDT 2023
0.12/0.33	% CPUTime    : 
0.12/0.34	% Number of cores: 8
0.12/0.34	% Python version: Python 3.6.8
0.20/0.42	% Total configuration time : 67
0.20/0.42	% Estimated wc time : 38
0.20/0.42	% Estimated cpu time (1 cpus) : 38
0.20/0.42	% /export/starexec/sandbox2/solver/bin/sh/sh5_sh1.sh running for 4s
0.20/0.44	% /export/starexec/sandbox2/solver/bin/sh/sh5_sh1.sh could not parse the output
0.20/0.44	% parse error: expected declaration
0.20/0.44	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 764, col 8 to 9
0.20/0.44	% 
0.20/0.45	% /export/starexec/sandbox2/solver/bin/sh/sh8_shallow_sine.sh running for 4s
0.20/0.46	% /export/starexec/sandbox2/solver/bin/sh/sh8_shallow_sine.sh could not parse the output
0.20/0.46	% parse error: expected declaration
0.20/0.46	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 764, col 8 to 9
0.20/0.46	% 
0.20/0.47	% /export/starexec/sandbox2/solver/bin/sh/sh10_new_c.s3.sh running for 3s
0.20/0.48	% /export/starexec/sandbox2/solver/bin/sh/sh10_new_c.s3.sh could not parse the output
0.20/0.48	% parse error: expected declaration
0.20/0.48	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 764, col 8 to 9
0.20/0.48	% 
0.20/0.48	% /export/starexec/sandbox2/solver/bin/sh/sh10_c_ic.sh running for 3s
0.20/0.50	% /export/starexec/sandbox2/solver/bin/sh/sh10_c_ic.sh could not parse the output
0.20/0.50	% parse error: expected declaration
0.20/0.50	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 764, col 8 to 9
0.20/0.50	% 
0.20/0.50	% /export/starexec/sandbox2/solver/bin/sh/sh8_b.comb.sh running for 3s
0.20/0.52	% /export/starexec/sandbox2/solver/bin/sh/sh8_b.comb.sh could not parse the output
0.20/0.52	% parse error: expected declaration
0.20/0.52	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 764, col 8 to 9
0.20/0.52	% 
0.20/0.52	% /export/starexec/sandbox2/solver/bin/sh/sh5_add_var_l_av.sh running for 3s
0.20/0.54	% /export/starexec/sandbox2/solver/bin/sh/sh5_add_var_l_av.sh could not parse the output
0.20/0.54	% parse error: expected declaration
0.20/0.54	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 764, col 8 to 9
0.20/0.54	% 
0.20/0.54	% /export/starexec/sandbox2/solver/bin/sh/sh10_e_lift.sh running for 3s
0.20/0.56	% /export/starexec/sandbox2/solver/bin/sh/sh10_e_lift.sh could not parse the output
0.20/0.56	% parse error: expected declaration
0.20/0.56	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 764, col 8 to 9
0.20/0.56	% 
0.20/0.56	% /export/starexec/sandbox2/solver/bin/sh/sh5_shallow_sine.sh running for 1s
0.20/0.58	% /export/starexec/sandbox2/solver/bin/sh/sh5_shallow_sine.sh could not parse the output
0.20/0.58	% parse error: expected declaration
0.20/0.58	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 764, col 8 to 9
0.20/0.58	% 
0.20/0.58	% /export/starexec/sandbox2/solver/bin/sh/sh5_e_short1.sh running for 2s
0.20/0.60	% /export/starexec/sandbox2/solver/bin/sh/sh5_e_short1.sh could not parse the output
0.20/0.60	% parse error: expected declaration
0.20/0.60	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 764, col 8 to 9
0.20/0.60	% 
0.20/0.60	% /export/starexec/sandbox2/solver/bin/sh/sh5_32.sh running for 2s
0.45/0.62	% /export/starexec/sandbox2/solver/bin/sh/sh5_32.sh could not parse the output
0.45/0.62	% parse error: expected declaration
0.45/0.62	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 764, col 8 to 9
0.45/0.62	% 
0.45/0.62	% /export/starexec/sandbox2/solver/bin/sh/sh5_sh4.sh running for 2s
0.47/0.64	% /export/starexec/sandbox2/solver/bin/sh/sh5_sh4.sh could not parse the output
0.47/0.64	% parse error: expected declaration
0.47/0.64	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 764, col 8 to 9
0.47/0.64	% 
0.47/0.64	% /export/starexec/sandbox2/solver/bin/sh/sh5_lifting2.sh running for 3s
0.47/0.66	% /export/starexec/sandbox2/solver/bin/sh/sh5_lifting2.sh could not parse the output
0.47/0.66	% parse error: expected declaration
0.47/0.66	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 764, col 8 to 9
0.47/0.66	% 
0.47/0.66	% /export/starexec/sandbox2/solver/bin/sh/sh5_noforms.sh running for 1s
0.47/0.68	% /export/starexec/sandbox2/solver/bin/sh/sh5_noforms.sh could not parse the output
0.47/0.68	% parse error: expected declaration
0.47/0.68	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 764, col 8 to 9
0.47/0.68	% 
0.47/0.68	% /export/starexec/sandbox2/solver/bin/sh/sh8_old_zip1.sh running for 3s
0.54/0.70	% /export/starexec/sandbox2/solver/bin/sh/sh8_old_zip1.sh could not parse the output
0.54/0.70	% parse error: expected declaration
0.54/0.70	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 764, col 8 to 9
0.54/0.70	% 
0.54/0.70	% /export/starexec/sandbox2/solver/bin/sh/sh5_sh.eqenc.sh running for 1s
0.54/0.71	% /export/starexec/sandbox2/solver/bin/sh/sh5_sh.eqenc.sh could not parse the output
0.54/0.71	% parse error: expected declaration
0.54/0.71	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 764, col 8 to 9
0.54/0.71	% 
0.54/0.71	% Terminating...
0.54/0.71	% Runner terminated.
0.54/0.72	% Zipperpin exiting
0.54/0.73	EOF